There ought to be a law! Campbell versus Goodhart

There ought to be a law?

Worst Case and the Deepwater Horizon Blowout: There Ought to Be a Law

There is a law . In fact, there are three laws that, jointly and severally, should have anticipated and provided measures to prevent and cope with the explosion of the drilling rig Deepwater Horizon . Instead, we have 11 deaths, 17 serious injuries, the release of an American record 2 .6 million gallons of oil,2 an equivalent record for chemical dispersants,3 months of Mutt ‘n’ Jeff responses, ...

An Integrated Framework for Ought-to-be and Ought-to-do Constraints 1

Knowing Afghanistan: Can there be an end to the saga?

War on terrorism, as the motto which formed the cornerstone of global policies of former     neo-conservative administration of the United States, is increasingly becoming ineffective in Afghanistan with the dreaded consequence of spilling over into Pakistan. This inevitable consequence of War on    Terrorism in Afghanistan has brought the West face to face with the ‘nest of terrorism’ that CIA...

An Integrated Framework for Ought-to-be and Ought-to-do Constraints (Extended Abstract)

Deontic logic is the logic to reason about ideal and actual behaviour. Besides the traditional role as an underlying logic for law and ethics (for a survey see [MW]), in the realm of computer science, deontic logic has been proposed as a logic for the specification of legal expert systems [BMT87],[Sta80], authorization mechanisms [ML85], decision support systems [Kd.,88], [Lee88b],[Lee88a], dat...